181. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
182. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
183. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
184. Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
پدیدآورنده : FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
کتابخانه: (سمنان)
موضوع : Congresses ، Electronic data processing- Distributed processing,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67
185. Formal methods for open object-based distributed systems
پدیدآورنده : / Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
D5
,
I573
,
2007
186. Formal methods for open object-based distributed systems
پدیدآورنده : / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
D5
,
I573
,
2003
187. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
پدیدآورنده : Martin Steffen, Gianluigi Zavattaro )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3535
188. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده : Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884
189. Formal methods for open object-based distributed systems. volume 2
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
رده :
QA
76
.
9
.
D5
.
F66
1997
190. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
191. Formal techniques for distributed objects, components, and systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
192. Formal techniques for distributed objects, components, and systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
193. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
194. Formal techniques for distributed objects, components, and systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing ; Congresses. ;
195. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
196. Formal techniques for networked and distributed systems
پدیدآورنده : / edited by Myungchul Kim ... [et al.]
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
197. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
198. Formal techniques for networked and distributed systems
پدیدآورنده : / John Derrick, Jeuri Vain (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F67
,
2007
199. Formal techniques for networked and distributed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
200. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
